Druckdezimalpunkt

сущ.

1) тех. знак десятичной запятой

2) выч. действительная десятичная точка, десятичная точка действительного числа